síntese atômica - перевод на
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

síntese atômica - перевод на

Formula atomica; Variável proposicional; Átomo (lógica); Proposição atômica; Fórmula atomica

síntese         
PÁGINA DE DESAMBIGUAÇÃO DA WIKIMEDIA
Sintese; Sínteses
{f}
- синтез
síntese         
PÁGINA DE DESAMBIGUAÇÃO DA WIKIMEDIA
Sintese; Sínteses
синтез
física atômica         
  • Diagrama de Linus Pauling]]
- (яд. физ.) атомная физика

Определение

Síntese
f.
Operação química, com que se reúnem corpos simples, para formar corpos compostos, ou com que se reúnem corpos compostos para formar outros de composição mais complexa.
Processo filosófico, com que se desce dos princípios às consequências, e das causas aos efeitos.
Quadro, que expõe o conjunto de uma ciência.
Resenha literária ou científica.
Demonstração matemática das proposições, pela simples dedução das que estão já provadas.
Operação cirúrgica, com que se reúnem ou se restituem ao estado primitivo as partes deslocadas ou separadas.
Organização mental de um sistema.
Figura gramatical, o mesmo que "silepse".
Entre os antigos, era uma espécie de clâmide ou rocló que, nos banquetes, se vestia sôbre o vestuário comum, para que êste se não enodoasse.
(Lat. "sinthesis")

Википедия

Fórmula atômica

Em Lógica matemática, uma Fórmula Atômica (ou simplesmente átomo) é uma fórmula sem uma estrutura proposicional mais profunda, isto é, uma fórmula que não contém Conectivos lógicos, ou equivalentemente uma fórmula que não contém subfórmulas. Portanto, átomos são as mais simples fórmulas bem formadas da lógica. Fórmulas compostas são formadas combinando as fórmulas atômicas utilizando conectivos lógicos.

A forma precisa das fórmulas atômicas depende da lógica em consideração; para a Lógica proposicional, por exemplo, as fórmulas atômicas são variáveis proposicionais. Para a Lógica de predicados, os átomos são símbolos de predicados com seus argumentos, sendo cada argumento um termo. Em Teoria dos modelos, termos são simplesmente strings de símbolos com uma dada assinatura, que podem ou não ser satisfatível a respeito do modelo em questão.